$\forall$$w$:World, $e$:E, $t$:$\mathbb{N}$. $\neg$isnull(a(loc($e$);$t$)) $\Rightarrow$ $t$$<$time($e$) $\Rightarrow$ \{$\neg$first($e$) \& $t$$\leq$time(pred($e$))\}